mval($m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$2of(2of($m$))